integral n^(-t^2) dt